Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
21	ON THE PROJECTIONS OF MEASURES INVARIANT UNDER THE GEODESIC FLOW FRANC ¸ OIS LEDRAPPIER AND ELON LINDENSTRAUSS 1. Introduction Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2002-11-21 07:13:44 Mathematical analysis Measure theory Generalized functions Constructible universe Distribution Support Symbol Table of stars with Bayer designations
22	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:51 Mathematics Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms Theory of computation NC CurryHoward correspondence Generalised Whitehead product
23	Travel Itinerary Reimbursement Form Office Use Only Expense Report#: Report Title: Add to Reading List Source URL: www.ais.illinois.edu Language: English - Date: 2014-09-12 14:38:01 Per diem Constructible universe
24	DEGREE GROWTH OF BIRATIONAL MAPS OF THE PLANE JÉRÉMY BLANC AND JULIE DÉSERTI October 6, 2011 A BSTRACT. This article studies the sequence of iterative degrees of a birational map of the plane. This sequence is known e Add to Reading List Source URL: jones.math.unibas.ch Language: English - Date: 2014-09-21 13:51:17 Mathematical analysis Mathematics Operator theory Constructible universe Divisor Birational geometry Contraction Linear temporal logic Golden ratio base
25	ABSOLUTELY INDECOMPOSABLE REPRESENTATIONS AND KAC-MOODY LIE ALGEBRAS (WITH AN APPENDIX BY HIRAKU NAKAJIMA) WILLIAM CRAWLEY-BOEVEY AND MICHEL VAN DEN BERGH Dedicated to Idun Reiten on the occasion of her sixtieth birthday Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English Constructible universe Representation theory Lie algebras Semi-invariant of a quiver Differential forms on a Riemann surface
26	Structured Determinantal Point Processes Alex Kulesza Ben Taskar Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104 Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-01-11 10:30:06 Mathematical analysis Mathematics Statistics Model theory Constructible universe Distribution Normal distribution Interpretation IP Static single assignment form
27	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
28	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
29	Noncritical Belyi Maps.pdf Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 02:24:52 Mathematics Mathematical analysis Differential forms Calculus Constructible universe Closed and exact differential forms Functional analysis Differential forms on a Riemann surface Net
30	IMAGINARIES AND DEFINABLE TYPES IN ALGEBRAICALLY CLOSED VALUED FIELDS EHUD HRUSHOVSKI This manuscript is largely an exposition of material from [1], [2] and [3], regarding definable types in the model completion of the t Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2014-03-26 03:46:35 Algebra Abstract algebra Mathematics Field theory Algebraic geometry Valuation Sheaf Constructible universe Transcendental number Approximately finite-dimensional C*-algebra Differential forms on a Riemann surface

UPDATE